In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

David Friedman posed a number of libertarian philosophical problems (Friedman 1989). This essay criticizes Walter Block’s Rothbardian responses (Block 2011) and compares them with J C Lester’s critical-rationalist, libertarian-theory responses (Lester [2000] 2012). The main issues are as follows. 1. Critical rationalism and how it applies to libertarianism. 2.1. How libertarianism is not inherently about law and is inherently about morals. 2.2. How liberty relates to property and can be maximized: carbon dioxide and radio waves. 2.3. Applying the theory (...) to flashlights. 2.4. Applying the theory to the probability of imposed risks. 2.5. “Homesteading” or initial acquisition. 2.6 What is “essential” for a “true libertarian.” 2.7. Crime and punishment. 2.8. Extent of punishment. 2.9. The libertarian response to a madman with a gun. 2.10. How contradictions in rights are possible. 2.11. The draft. 3.1. Utilitarian libertarianism and “nose counting”. 3.2. How interpersonal comparisons of utility are possible and utility monsters are not a threat. 3.3. Why it is not utilitarian in practice to kill an innocent prisoner to prevent a riot. 3.4. Why David Friedman should not be forced to give up one of his eyes. 3.5. How utilitarians can be libertarians. Conclusion: a proper theory of liberty combined with critical rationalism offers superior solutions to Friedman’s problems. Appendix: replies to two commentators. (shrink)

To explain the correct libertarian approach to immigration, a thought-experiment posits a minimal-state libertarian UK and then the introduction of several relevant anti-libertarian policies with their increasingly disastrous effects. It is argued that the reverse of these imagined policies, as far as is politically possible, must be the correct way forward. This framing is intended to counter the tendency for many articles to misapply libertarian principles to the current messy situation on the mistaken assumption that a state need only stop (...) interfering without rectifying or adjusting for its previous interferences. The relevant parts of various open-border texts are then criticised in light of this and for other errors, in particular for overlooking the likely huge scale of immigration as indicated by Gallup surveys. Additional criticisms are addressed in footnotes throughout. The conclusion outlines three broad options on immigration and suggests that directionally-libertarian policies are both more libertarian and practical than having states open their borders. The readers that might be interested in this subject matter include those engaging in libertarian philosophy, economics, and political theory. (shrink)

Voted one of Christianity Today's 1996 Books of the Year! The carnivalesque, pluralistic culture in which we live can be seen as a consequence of the breakdown of modernity (which touted itself as the "greatest show on earth"), combined with a recognition of the socially constructed character of reality. Since the old construction has been discredited and is in a process of decomposition, the season is open on the construction of new realities which are produced with the speed and ease (...) of temporary circus tents being raised. Far from witnessing the erosion or even eclipse of religious belief that the Enlightenment so confidently predicted, the eclipse of the Enlightenment has resulted in a veritable smorgasbord of religions and worldviews for our consumption. So Richard Middleton and Brian Walsh colorfully describe our postmodern setting. In this book they survey postmodern culture and philosophy, offering lucid explanations of such difficult theories as deconstruction. They are sympathetic to the postmodern critique, yet believe that a gospel stripped of its modernist trappings speaks a radical word of hope and transformation to our chaotic culture. The book for those who wonder what postmodernism is and how biblical Christians might best respond. Endorsement (from the back cover): “In Truth Is Stranger Than It Used to Be, Middleton and Walsh lead us into the postmodern crisis with skill and sensitivity, and with the mobilization of a comprehensive reading program. But this is not simply one more review. The book makes a suggestive theological response to the crisis, exploring the claims of biblical faith in a shrewd way. It will be a most helpful resource for those who care about our common future and who are willing to think honestly, informed by faith. I anticipate the book will be widely used, to our common benefit.” Walter Brueggemann, author of Texts Under Negotiation: The Bible and Postmodern Imagination. (shrink)

In 1964, the young Walter Kasper (born in 1933) was granted by the Faculty of Catholic Theology at Tübingen the licence to teach dogmatic theology on the basis of a thesis on Philosophie und Theologie der Geschichte in der Spätphilosophie Schellings (Philosophy and Theology of History in Schelling’s Late Philosophy). Kasper’s interest in Schelling, himself a student at the Evangelisches Stift at Tübingen, thus originated in the context of his university studies in the school of J.R. Geiselmann and developed (...) in parallel with his theological education. For this reason, it is impossible to form a correct idea of Kasper and his whole theology unless one is willing to take into account this background, not least because he himself has always consciously and forcefully recognised this fact and seen in it his own centre of gravity. Kasper’s work and thought were shaped in a lasting manner during his university years. In fact, his entire academic oeuvre has been nurtured from this fecund origin so much so that he became one of the most well known names associated with the Catholic school at Tübingen to which he gave a new, creative impulse having himself been profoundly inspired by it. ‘He always emphasised his own roots not only as a teacher of theology and a member of the teaching faculty of this institution, but also as bishop’ and cardinal. The principal intention of the present article is precisely this: to return to this beginning and elucidate these decisive years for Kasper in broad outline by way of a relecture and interpretation of his book on The Absolute in History and the particular manner in which he interpreted the so-called second Schelling, an author whom he approached in the wake of Walter Schulz and at practically the same time as Xavier Tilliette. The analysis will subsequently move on into the more properly theological field. (shrink)

Memory of past episodes provides a sense of personal identity — the sense that I am the same person as someone in the past. We present a neurological case study of a patient who has accurate memories of scenes from his past, but for whom the memories lack the sense of mineness. On the basis of this case study, we propose that the sense of identity derives from two components, one delivering the content of the memory and the other generating (...) the sense of mineness. We argue that this new model of the sense of identity has implications for debates about quasi-memory. In addition, articulating the components of the sense of identity promises to bear on the extent to which this sense of identity provides evidence of personal identity. (shrink)

Placeholder essentialism is the view that there is a causal essence that holds category members together, though we may not know what the essence is. Sometimes the placeholder can be filled in by scientific essences, such as when we acquire scientific knowledge that the atomic weight of gold is 79. We challenge the view that placeholders are elaborated by scientific essences. On our view, if placeholders are elaborated, they are elaborated Aristotelian essences, a telos. Utilizing the same kinds of experiments (...) used by traditional essentialists—involving superficial change (study 1), transformation of insides (study 2), acquired traits (study 3) and inferences about offspring (study 4)—we find support for the view that essences are elaborated by a telos. And we find evidence (study 5) that teleological essences may generate category judgments. (shrink)

Natural/social kind essentialism is the view that natural kind categories, both living and non-living natural kinds, as well as social kinds (e.g., race, gender), are essentialized. On this view, artifactual kinds are not essentialized. Our view—teleological essentialism—is that a broad range of categories are essentialized in terms of teleology, including artifacts. Utilizing the same kinds of experiments typically used to provide evidence of essentialist thinking—involving superficial change (study 1), transformation of insides (study 2) and inferences about offspring (study 3)—we find (...) support for the view that a broad range of categories—living natural kinds, non-living natural kinds and artifactual kinds—are essentialized in terms of teleology. Study 4 tests a unique prediction of teleological essentialism and also provides evidence that people make inferences about purposes which in turn guide categorization judgments. (shrink)

The idea that incompatibilism is intuitive is one of the key motivators for incompatibilism. Not surprisingly, then philosophers who defend incompatibilism often claim that incompatibilism is the natural, commonsense view about free will and moral responsibility (e.g., Pereboom 2001, Kane Journal of Philosophy 96:217–240 1999, Strawson 1986). And a number of recent studies find that people give apparently incompatibilist responses in vignette studies. When participants are presented with a description of a causal deterministic universe, they tend to deny that people (...) are morally responsible in that universe. Although this suggests that people are intuitive incompatibilists, Eddy Nahmias and Dylan Murray, in a recent series of important papers, have developed an important challenge to this interpretation. They argue that people confuse determinism with bypassing, the idea that one’s mental states lack causal efficacy. Murray and Nahmias present new experiments that seem to confirm the bypassing hypothesis. In this paper, we use structural equation modeling to re-examine the issue. We find support instead for an incompatibilist explanation of the bypassing results, i.e., incompatibilist judgments seem to cause bypassing judgments. We hypothesize that this phenomenon occurs because people think of decisions as essentially indeterministic; thus, when confronted with a description of determinism they tend to think that decisions do not even occur. We provide evidence for this in three subsequent studies which show that many participants deny that people make decisions in a deterministic universe; by contrast, most participants tend to allow that people add numbers in a deterministic universe. Together, these studies suggest that bypassing results don’t reflect a confusion, but rather the depth of the incompatibilist intuition. (shrink)

Many philosophers maintain that causation is to be explicated in terms of a kind of dependence between cause and effect. These “dependence” theories are opposed by “production” accounts which hold that there is some more fundamental causal “oomph”. A wide range of experimental research on everyday causal judgments seems to indicate that ordinary people operate primarily with a dependence-based notion of causation. For example, people tend to say that absences and double preventers are causes. We argue that the impression that (...) commonsense causal discourse is largely dependence-based is the result of focusing on a very narrow class of causal verbs. Almost all of the vignette-based experimental work on causal judgment has been prosecuted using the word “cause”. But much ordinary causal discourse involves special causal verbs, such as “burn” and “crack”. We find that these verbs display a quite different pattern from the verb “cause”. For instance, for absences and double preventers (Studies 1-3), we find that while people are inclined to say that X caused Y to burn, turn, crack or start, they are less inclined to think that X burned, turned, cracked or started Y. In Study 4, we find that for chains involving a distal and proximal event, people are inclined to say that the distal event is not a special cause of the outcome, though it is a “cause” of the outcome. Together, we find a surprising double dissociation between “cause” and a stock of special causal verbs. We conclude by suggesting that much commonsense causal judgment, which heavily trades in special causal verbs, might be better captured by production-based accounts of causation. (shrink)

Many philosophers have claimed that the folk endorse moral universalism. Some have taken the folk view to support moral universalism; others have taken the folk view to reflect a deep confusion. And while some empirical evidence supports the claim that the folk endorse moral universalism, this work has uncovered intra-domain differences in folk judgments of moral universalism. In light of all this, our question is: why do the folk endorse moral universalism? Our hypothesis is that folk judgments of moral universalism (...) are generated in part by a desire to punish. We present evidence supporting this across three studies. On the basis of this, we argue for a debunking explanation of folk judgments of moral universalism. Our results not only further our understanding of the psychological processes underpinning folk judgments of moral universalism. They also bear on philosophical discussions of folk meta-ethics. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

Vows play a central role in Buddhist thought and practice. Monastics are obliged to know and conform to hundreds of vows. Although it is widely recognized that vows are important for guiding practitioners on the path to enlightenment, we argue that they have another overlooked but equally crucial role to play. A second function of the vows, we argue, is to facilitate group harmony and cohesion to ensure the perpetuation of the dhamma and the saṅgha. However, the prominence of vows (...) in the Buddhist tradition seems at odds with another central part of the doctrine. For vows, like other promises, seem to involve representing a persisting self as the individual who undertakes the vow. And to explicitly appeal to a persisting self conflicts with one of the most important philosophical commitments of Buddhism – the no self view. We argue though that once we articulate the details of how vows generate behavior that conforms to them, we can see that no appeal to the self is required to internalize and act on vows. (shrink)

How do people think about the mental states of robots? Experimental philosophers have developed various models aiming to specify the factors that drive people's attributions of mental states to robots. Here we report on a new experiment involving robots, the results of which tell against competing models. We advocate a view on which attributions of mental states to robots are driven by the same dual-process architecture that subserves attributions of mental states more generally. In support of this view, we leverage (...) recent psychological research on human-robot interaction that involve ecologically-valid stimuli such as Roombas and humanoid robots. (shrink)

If you start taking courses in contemporary cognitive science, you will soon encounter a particular picture of the human mind. This picture says that the mind is a lot like a computer. Specifically, the mind is made up of certain states and certain processes. These states and processes interact, in accordance with certain general rules, to generate specific behaviors. If you want to know how those states and processes got there in the first place, the only answer is that they (...) arose through the interaction of other states and processes, which arose from others... until, ultimately, the chain goes back to factors in our genes and our environment. Hence, one can explain human behavior just by positing a collection of mental states and psychological processes and discussing the ways in which these states and processes interact. This picture of the mind sometimes leaves people feeling deeply uncomfortable. They find themselves thinking something like: 'If the mind actually does work like that, it seems like we could never truly be morally responsible for anything we did. After all, we would never be free to choose any behavior other than the one we actually performed. Our behaviors would just follow inevitably from certain facts about the configuration of the states and processes within us.' Many philosophers think that this sort of discomfort is fundamentally confused or wrongheaded. They think that the confusion here can be cleared up just by saying something like: 'Wait! It doesn't make any sense to say that the interaction of these states and processes is preventing you from controlling your own life. The thing you are forgetting is that the interaction of these states and processes – this whole complex system described by cognitive science – is simply you. So when you learn that these states and processes control your behavior, all you are learning is that you are controlling your behavior. There is no reason at all to see these discoveries as a threat to your freedom or responsibility.'2 Philosophers may regard this argument as a powerful one, perhaps even irrefutable.. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

A tradition of work in cognitive science indicates that much of our mental lives is not available to introspection . Though the researchers often present these results as surprising, little has been done to explore the degree to which people presume introspective access to their mental events. In this paper, we distinguish two dimensions of introspective access: the power of access, i.e. whether people believe they can unfailingly or only typically introspect mental events; and the domain of access, i.e. what (...) types of mental events people believe they are able to introspect. We report five experiments carried out to discover where lay beliefs about introspection fall on these dimensions. In our experiments, people did not presume universal introspective access, but they did overestimate the amount of access they actually have, particularly in the case of decisions. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Do young children have a teleological conception of the essence of natural kinds? We tested this by examining how the preservation or alteration of an animal’s purpose affected children’s persistence judgments (N = 40, ages 4 - 12, Mean Age = 7.04, 61% female). We found that even when surface-level features of an animal (e.g., a bee) were preserved, if the entity’s purpose changed (e.g., the bee now spins webs), children were more likely to categorize the entity as a member (...) of a different natural kind (e.g., a spider) and these effects were similar in magnitude to altering the surface-features of a natural kind. Our results suggest that we might view teleological properties as partially constitutive of the essence of natural kinds. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

The tracer study for the Bachelor of Science in Business Administration (BSBA) degree with Business Economics (BE), Financial Management (FM), Human Resource Management (HRM), and Marketing Management (MM) of the School of Business Administration (SBA) tracks and gathers information about the career outcomes and experiences of graduates of the degree program. This study focuses on determining the employment opportunities pursued by the graduates of 2018–2022, as well as exploring the influence their education from the SBA of San Isidro College (SIC) (...) has had on their careers. Through this tracer study, valuable insight has been gained into the effectiveness of the SBA's BSBA program offered by SIC and its graduates' overall success and impact in the job market. The lack of respondents in the BE major suggests a need to revisit and modify the curriculum and marketing efforts to generate more interest among potential students. The FM, HRM, and MM major should be capitalized and sustained to maintain the positive momentum. The study's findings show a mix of employment outcomes for graduates, with opportunities for both early career growth and long-term employment. The program equips graduates with a diverse skillset for various job levels and industries. Most graduates find employment within the province, implying effectiveness in equipping them with the necessary skills. However, the distribution of salaries suggests potential issues with the job market or degree value, requiring further investigation. The program has successfully developed graduates with communication, human relations, and entrepreneurial skills but may need improvement in marketing management, problem-solving, and critical thinking. The study concludes that graduates have higher communication skills but lower problem-solving and critical thinking skills, emphasizing the need for curriculum modifications and additional support to improve overall skills. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Here we will argue that different kinds of friendships follow different kinds of scaling laws. First, we will review Aristotle’s three types of friendship. Second, we will review three different types of scaling laws. Third, we will show how the three types of friendship roughly map on to the three types of scaling laws. After this, we will discuss some of the consequences of the scaling laws of friendship. We hope that the use of these abstract scaling laws to describe (...) social values will convince computer programmers and policy makers to temper their would-be ambitions as social engineers. (shrink)

This paper addresses what we consider to be the most pressing challenge for the emerging science of consciousness: the measurement problem of consciousness. That is, by what methods can we determine the presence of and properties of consciousness? Most methods are currently developed through evaluation of the presence of consciousness in humans and here we argue that there are particular problems in application of these methods to nonhuman cases—what we call the indicator validity problem and the extrapolation problem. The first (...) is a problem with the application of indicators developed using the differences between conscious and unconscious processing in humans to the identification of other conscious vs. nonconscious organisms or systems. The second is a problem in extrapolating any indicators developed in humans or other organisms to artificial systems. However, while pressing ethical concerns add urgency to the attribution of consciousness and its attendant moral status to nonhuman animals and intelligent machines, we cannot wait for certainty and we advocate the use of a precautionary principle to avoid causing unintentional harm. We also intend that the considerations and limitations discussed in this paper can be used to further analyze and refine the methods of consciousness science with the hope that one day we may be able to solve the measurement problem of consciousness. (shrink)

Recent experimental research has revealed surprising patterns in people's intuitions about free will and moral responsibility. One limitation of this research, however, is that it has been conducted exclusively on people from Western cultures. The present paper extends previous research by presenting a cross-cultural study examining intuitions about free will and moral responsibility in subjects from the United States, Hong Kong, India and Colombia. The results revealed a striking degree of cross-cultural convergence. In all four cultural groups, the majority of (...) participants said that (a) our universe is indeterministic and (b) moral responsibility is not compatible with determinism. (shrink)

Attributions of certain speech-acts, like dog-whistling and wolf-crying, have an interesting complementary and antagonistic relationship that creates a kind of hostile dialectic and emergent divergence in political discourse. In the following, we will show how the wolf-cry and the dog-whistle are both epistemically difficult speech-acts to attribute, leading to asymmetric uncertainties in attribution. These uncertainties cause the attribution of wolf-cries and dog-whistles themselves to often be both reasonable but unconfirmable epistemic claims. Then, we will show how these patterns of attributions (...) can lead to a reciprocal dialectic of entrenched and self-amplifying dog-whistling versus wolf-crying, until an unhappy status quo is developed. This leads to a number of problems, including an epistemic standoff of standpoints, the attribution saturation of the political discourse, and a condition of self-defeating truth-seeking. Seemingly, the only surefire solution is a unanimous alleviation of such attributions, a standard that may seem insurmountable, though other options can be considered. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

Knowledge, like other things of value, can be faked. According to Hawley (2011), know-how is harder to fake than knowledge-that, given that merely apparent propositional knowledge is in general more resilient to our attempts at successful detection than are corresponding attempts to fake know-how. While Hawley’s reasoning for a kind of detection resilience asymmetry between know-how and know-that looks initially plausible, it should ultimately be resisted. In showing why, we outline different ways in which know-how can be faked even when (...) a given performance is successful; and in doing so, we distinguish how know-how can be faked (no less than know-that) via upstream and downstream indicators of its presence, and within each of these categories, we’ll distinguish (in connection with detection resilience) both faking symptoms and (various kinds of) criteria. The unappreciated resilience of faked knowledge-how to successful detection highlights a largely overlooked dimension of social-epistemic risk – risk we face not just in our capacity as recipients of testimony, but in our capacity as both (would-be) apprentices and clients of knowledge-how. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

The goal of this programmatic paper is to highlight a close connection between the core problem in the philosophy of medicine, i.e. the concept of health, and the core problem of the philosophy of mind, i.e. the concept of consciousness. I show when we look at these phenomena together, taking the evolutionary perspective of modern state-based behavioural and life-history theory used as the teleonomic tool to Darwinize the agent- and subject-side of organisms, we will be in a better position to (...) make sense of them both as natural phenomena. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)

Animal welfare has a long history of disregard. While in recent decades the study of animal welfare has become a scientific discipline of its own, the difficulty of measuring animal welfare can still be vastly underestimated. There are three primary theories, or perspectives, on animal welfare - biological functioning, natural living and affective state. These come with their own diverse methods of measurement, each providing a limited perspective on an aspect of welfare. This paper describes a perspectival pluralist account of (...) animal welfare, in which all three theoretical perspectives and their multiple measures are necessary to understand this complex phenomenon and provide a full picture of animal welfare. This in turn will offer us a better understanding of perspectivism and pluralism itself. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. My (...) proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico. Original German text with Italian translation, commentary and annotations by Davide Bondoni, LED Edizioni, Milan, 2010, pp. 208, 15,5 × 22 cm, ISBN 978-88-7916-474-0.